1.
پدیدآورنده: اردشیر بهرستاقی،محمد
کتابخانه: کتابخانه آیت الله ايرواني (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع: ،منطق ریاضی،
رده :
511
،
/3
،
الف
381
م
،
1389
2. برهان گودل و حقیقت و برهان
پدیدآورنده: ناگل، ارنست
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
3. برهان گودل و حقیقت و برهان
پدیدآورنده: / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی: Godel's proof..
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
/
ب
۴
4. برهان گودل و حقیقت و برهان
پدیدآورنده: ناگل ، ارنست، ۱۹۰۱- م.
کتابخانه: كتابخانه مركز پژوهشی دائرة المعارف علوم عقلی اسلامى (قم)
موضوع: گودل، قضیه,منطق ریاضی
5. فلسفه براوئر
پدیدآورنده: آتن، ما‌رکوس سبا‌ستیا‌ن پا‌ول روخیر فان، ۳۷۹۱ - م
کتابخانه: کتابخانه مرکز بررسی های اسلامی قم (قم)
موضوع: ^Bبراوئر، لویتس‌اخبرتوس یان، ۱۸۸۱ - ۶۶۹۱م,^Bریاضیات - فلسفه,^Bریاضیات شهودی
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
6. فلسفه براوئٰر
پدیدآورنده : / مارک فان‌آتن,آتن,Atten
موضوع : براوئر,Brouwer,، لویتس‌اخبرتوس یان,, L. E. J. (Luitzen Egbertus Jan),، ۱۸۸۱ - ۱۹۶۶م.,ریاضیات,ریاضیات شهودی, -- فلسفه
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. فلسفه براوئر
پدیدآورنده: آتن، ما‌رکوس سبا‌ستیا‌ن پا‌ول روخیر فان Atten, Markus Sebastian paul Rogier Van ۱۹۷۳ - م.
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: براوئر، لویتس اخبرتوس یان، ۱۸۸۱ - ۱۹۶۶ م C. E. J. )neztiuL sutrebgE naJ , rewuorB(,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
8. فلسفه براوئر
پدیدآورنده : مارک فان‌آتن, ترجمه محمد اردشير
موضوع : رياضيات شهودي رياضيات فلسفه براوئر, لويتس اخبر توس يان, 1966 - 1881 م،
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
9. فلسفه براوئر
پدیدآورنده: / مارک فان آتن,آتن,Atten
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: ریاضیات,ریاضیات شهودی, -- فلسفه,براوئر، لويتس اخبرتوس يان، 1881 - 1966م (Brouwer, L. E. J. (Luitzen Egbertus Jan
رده :
QA
۲۹
/
ب
۴
آ
۲
10. فلسفه براوئر
پدیدآورنده: آتن، ما‌رکوس سبا‌ستیا‌ن پا‌ول روخیر فان، ۱۹۷۳- م
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
11. فلسفه براوئٰر
پدیدآورنده: / مارک فان‌آتن,عنوان اصلی: On Brouwer,,آتن,Atten
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: براوئر,Brouwer,، لویتس‌اخبرتوس یان,, L. E. J. (Luitzen Egbertus Jan),، ۱۸۸۱ - ۱۹۶۶م.,ریاضیات,ریاضیات شهودی, -- فلسفه,ریاضیدانان اروپایی -- نقد و تفسیر
رده :
QA
۲۹
/
ب
۴
آ
۲
12. فلسفه براوئر
پدیدآورنده: / مارک فان‌آتن ترجمه محمد اردشیر,On Brouwer, c2004.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: براوئر- ، لویتس‌اخبرتوس یان- ، ۱۸۸۱ - ۱۹۶۶م,(L. E. J. (Luitzen Egbertus Jan , -Brouwer,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
13. مبا‌حثی در فلسفه ریاضی: برهان گودل و حقیقت برهان
پدیدآورنده: ناگل، ارنست، ۱۹۰۱- م.، Ernest ,Nagel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
ن
۲۸
14. منطق ریاضی
پدیدآورنده: اردشیر بهرستاقی، محمد، ۵۳۳۱ -
کتابخانه: کتابخانه مرکز بررسی های اسلامی قم (قم)
موضوع: ^Bمنطق ریاضی
رده :
QA
۹
/
ف
لا
۴
م
۸ ۱۳۸۹
15. منطق ریاضی
پدیدآورنده: اردشیر بهرستاقی، محمد ۱۳۳۵ -
کتابخانه: کتابخانه میرداماد (گلستان)
موضوع: منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸
16. منطق ریاضی
پدیدآورنده: / محمد اردشیر
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۸۹
17. منطق ریاضی
پدیدآورنده: محمد اردشیر
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۱
18. منطق ریاضی
پدیدآورنده: *** *** اردشیر بهرستاقی، محمد ۱۳۳۵-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸
19. منطق ریاضی
پدیدآورنده: / محمد اردشیر بهرستاقی
کتابخانه: کتابخانه دانشگاه بین المللی مذاهب اسلامی (تهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
ب
۸۶،
م
۸ ۱۳۸۳
20. منطق ریاضی
پدیدآورنده: اردشیر بهرستاقی، محمد ۱۳۳۵ -
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۸۹
